| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
28/07/1998 |
|
Data da última atualização: |
22/08/2007 |
|
Autoria: |
FARIAS, C. R. G. de; SOUZA, W. L. de. |
|
Título: |
Especificacao formal e validacao de um Kernel paralelo tempo real. |
|
Ano de publicação: |
1998 |
|
Fonte/Imprenta: |
In: SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORES, 16., 1998, Rio de Janeiro. Anais. Rio de Janeiro: Universidade Federal Fluminense, 1998. |
|
Páginas: |
p.258-277 |
|
Idioma: |
Português |
|
Conteúdo: |
Este trabalho apresenta os resultados de um projeto no qual a tecnica de descricao formal(TDF) language of temporal ordering specification(LOTOS), um padrao da international organization for standardization(ISO), foi utilizada com sucesso na especificacao de um kernel industrial para aplicacoes de tempo real. LOTOS foi utilizada na especificacao do TRANS-ETXC, um kernel paralelo tempo rela desenvolvido pela Itelligent Systems International e atualmente comercializado como virtuoso pela Eonic Systems. A descricao LOTOS do TRANS-RTXC, desenvolvida neste projeto, foi validada atraves de uma abordagem que combinou atividades de simulacao e verificacao, empregando-se o conjunto de ferramentas Minilite. |
|
Palavras-Chave: |
Especificacao; LOTOS; Sistemas de tempo real; TDF; Validacao. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01335naa a2200205 a 4500
001 1006463
005 2007-08-22
008 1998 bl uuuu u00u1 u #d
100 1 $aFARIAS, C. R. G. de
245 $aEspecificacao formal e validacao de um Kernel paralelo tempo real.
260 $c1998
300 $ap.258-277
520 $aEste trabalho apresenta os resultados de um projeto no qual a tecnica de descricao formal(TDF) language of temporal ordering specification(LOTOS), um padrao da international organization for standardization(ISO), foi utilizada com sucesso na especificacao de um kernel industrial para aplicacoes de tempo real. LOTOS foi utilizada na especificacao do TRANS-ETXC, um kernel paralelo tempo rela desenvolvido pela Itelligent Systems International e atualmente comercializado como virtuoso pela Eonic Systems. A descricao LOTOS do TRANS-RTXC, desenvolvida neste projeto, foi validada atraves de uma abordagem que combinou atividades de simulacao e verificacao, empregando-se o conjunto de ferramentas Minilite.
653 $aEspecificacao
653 $aLOTOS
653 $aSistemas de tempo real
653 $aTDF
653 $aValidacao
700 1 $aSOUZA, W. L. de
773 $tIn: SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORES, 16., 1998, Rio de Janeiro. Anais. Rio de Janeiro: Universidade Federal Fluminense, 1998.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
Registro Completo
|
Biblioteca(s): |
Embrapa Soja. |
|
Data corrente: |
18/08/2023 |
|
Data da última atualização: |
18/08/2023 |
|
Tipo da produção científica: |
Comunicado Técnico/Recomendações Técnicas |
|
Autoria: |
ALMEIDA, I. R. de; FARIAS, J. R. B. |
|
Afiliação: |
IVAN RODRIGUES DE ALMEIDA, CPACT; JOSE RENATO BOUCAS FARIAS, CNPSO. |
|
Título: |
Boletim agrometeorológico mensal - maio 2000. |
|
Ano de publicação: |
2000 |
|
Fonte/Imprenta: |
Londrina: Embrapa Soja, 2000. 4 p. |
|
Série: |
(Embrapa Soja. Comunicado Técnico, 66). |
|
Idioma: |
Português |
|
Palavras-Chave: |
Agrometeorologia. |
|
Thesagro: |
Clima; Climatologia; Meteorologia. |
|
Thesaurus NAL: |
Agrometeorology; Meteorological parameters; Meteorology; Meteorology and climatology. |
|
Categoria do assunto: |
X Pesquisa, Tecnologia e Engenharia |
|
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/doc/1155991/1/Com-Tec-66.pdf
|
|
Marc: |
LEADER 00648nam a2200217 a 4500
001 2155991
005 2023-08-18
008 2000 bl uuuu u0uu1 u #d
100 1 $aALMEIDA, I. R. de
245 $aBoletim agrometeorológico mensal - maio 2000.$h[electronic resource]
260 $aLondrina: Embrapa Soja, 2000. 4 p.$c2000
490 $a(Embrapa Soja. Comunicado Técnico, 66).
650 $aAgrometeorology
650 $aMeteorological parameters
650 $aMeteorology
650 $aMeteorology and climatology
650 $aClima
650 $aClimatologia
650 $aMeteorologia
653 $aAgrometeorologia
700 1 $aFARIAS, J. R. B.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Soja (CNPSO) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
